m1Hefl http://identifiers.org/mgd/MGI:3801146 MGI:3801146 deltaB mutation 1 Heinrich Flaswinkel